Najdłuższy dowód matematyczny w historii

1 czerwca 2016, 09:33

Marijn Heule z University of Texas, Oliver Kullmann ze Swansea University oraz Victor Marek z University of Kentucky - były pracownik Uniwersytetu Warszawskiego, a obecny współpracownik Instytutu Podstaw Informatyki PAN - użyli superkomputera do przeprowadzenia pojedynczego matematycznego dowodu, uzyskując w ten sposób największy matematyczny dowód w historii. Jego zapisanie zajęło 200 terabajtów przestrzeni dyskowej.



Chińczycy polecieli na Tiangong 2

17 października 2016, 10:57

Przed kilkunastoma godzinami Chiny wystrzeliły w przestrzeń kosmiczną załogową misję Shenzhou 11. Na jej pokładzie znalazło się dwóch astronautów, którzy zadokują do eksperymentalnej stacji kosmicznej Tiangong 2 i pozostaną na jej pokładzie przez 30 dni


Prototyp chemicznego komputera wykrywa sferę

13 marca 2017, 14:03

Komputery chemiczne stają się coraz bardziej realne, udowadniają naukowcy z Instytutu Chemii Fizycznej PAN w Warszawie. Okazuje się, że po zastosowaniu odpowiedniej strategii "uczenia" nawet stosunkowo prosty układ chemiczny może wykonywać nietrywialne operacje.


Stan zapalny może poprzedzać bezdech senny

1 września 2017, 11:59

Dotąd stan zapalny postrzegano jako objaw bezdechu sennego, wydaje się jednak, że w rzeczywistości kolejność ich pojawiania może być odwrotna.


Przez awarię prądu utracono 3,5% światowej produkcji układów NAND

15 marca 2018, 11:13

Samsung stracił dużą liczbę plastrów krzemowych, na których produkował układy NAND. Problemy z dostawą prądu w koreańskiej fabryce w Pyeongtaek trwały zaledwie 30 minut, ale uszkodzeniu uległo nawet 3,5% światowej produkcji układów pamięci.


By ocalić ptaki i żółwie, wystarczy przymocować do sieci LED-y

12 lipca 2018, 10:43

Przymocowanie do sieci rybackich zielonych diod LED może znacząco (o ok. 85%) zmniejszyć liczbę zaplątujących się w nie ptaków morskich.


Microsoft załatał 39 dziur

12 grudnia 2018, 10:49

Wraz z grudniowym wydaniem Patch Tuesday Microsoft załatał 9 krytycznych dziur w swoich produktach. jedną z nich jest luka typu zer-day występująca w starczych wersjach Windows.


Tekst jak sieć: Ile wyrazów wystarczy, by rozpoznać autora?

11 kwietnia 2019, 13:33

Jesteśmy bardziej oryginalni niż sądzimy, sugerują analizy tekstów literackich przeprowadzone nową metodą stylometrii, zaproponowaną przez naukowców z Instytutu Fizyki Jądrowej PAN w Krakowie. Indywidualność autora widać już w powiązaniach między zaledwie kilkunastoma wyrazami tekstu angielskiego. W językach słowiańskich do identyfikacji twórcy wystarcza nawet mniejsza liczba wyrazów, a na dodatek wynik jest pewniejszy.


Kosmiczny żaglowiec LightSail 2 rozwinął żagle

24 lipca 2019, 09:20

Eksperymentalny żaglowiec kosmiczny rozwinął żagle i zaczął zbierać energię Słońca, która ma go napędzać podczas podróży w przestrzeni kosmicznej. LightSail 2 to dzieło The Planetary Society. Pojazd został wystrzelony 25 czerwca na pokładzie rakiety Falcon Heavy firmy SpaceX


Nurek-amator znalazł jedną z najstarszych monet na świecie

25 listopada 2019, 10:06

W Morzu Czarnym u wybrzeży miasta Sozopol nurek znalazł monetę liczącą sobie co najmniej 2650 lat. Może to być najstarsza moneta pochodząca z Bułgarii i jedna z najstarszych na świecie.


Zostań Patronem

Od 2006 roku popularyzujemy naukę. Chcemy się rozwijać i dostarczać naszym Czytelnikom jeszcze więcej atrakcyjnych treści wysokiej jakości. Dlatego postanowiliśmy poprosić o wsparcie. Zostań naszym Patronem i pomóż nam rozwijać KopalnięWiedzy.

Patronite

Patroni KopalniWiedzy